Static Typing in Python